Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Cancellative Convex Semilattices
arxiv.org·2h
🔲Proof Irrelevance
Checking data integrity
eclecticlight.co·18m
✅Checksum Validation
Historical highlights?
logicmatters.net·19h
🔀Category Theory
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·15h
🌳Context free grammars
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·10h
🔢Bitwise Algorithms
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Song recommendations with pipes and filters
blog.ploeh.dk·1d
λLambda Formalization
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·2h
🎼Computational Musicology
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
Parsing Safetensors File Format in C
leetarxiv.substack.com·15h·
Discuss: Substack, r/programming
✅Format Verification
Compressed data structures for Heegaard splittings
arxiv.org·2h
🕳️Persistent Homology
A distributed systems reliability glossary
antithesis.com·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Billions of Edges per Second with Postgres
onesparse.com·12h·
Discuss: Hacker News
🗜️Graph Compression